This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification ...
Continue readingThis book constitutes the refereed proceedings of the 11th International ACM SIGSOFT Symposium on Component-Based Software ...
Continue readingThe two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...
Continue readingThe two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...
Continue readingThis two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...
Continue readingThis two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...
Continue readingEfforts to understand and predict the behavior of software date back to the earliest days of computer programming,over half ...
Continue readingEfforts to understand and predict the behavior of software date back to the earliest days of computer programming,over half ...
Continue readingThe papers deal with the foundations on which software engineering is built, including topics like software engineering as ...
Continue readingThis book argues that the key problems of software systems development (SSD) are socio-technical rather than purely technical ...
Continue readingThe three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging ...
Continue readingThis book considers the potential and limitations of the various mathematical approaches and thereby aims to give a balanced ...
Continue readingThis book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which took place in Dublin, ...
Continue readingThis book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March ...
Continue readingThis book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April ...
Continue readingThis book constitutes the refereed proceedings of the 13th International Conference on the Quality of Information and Communications ...
Continue readingThis book constitutes the proceedings of the 3rd European Workshop on Software Architecture (EWSA 2006) provided an internationalforumforresearchersandpractitionersfromacademiaandindustry ...
Continue readingThis book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, ...
Continue readingConstitutes the refereed proceeding of the 12th European Software Process Improvement Conference, EuroSPI 2005, held in Budapest, ...
Continue readingThis volume constitutes the refereed proceedings of the 27th European Conference on Systems, Software and Services Process ...
Continue reading